The De Morgan Negation on Bi-Approximation Semantics: the dual representation of unbounded ortholattices
نویسنده
چکیده
In this paper, we have established bi-approximation semantics for lattice-based logics with the De Morgan negation (unbounded orthologic), and their morphisms. In addition, we have discussed the dual representation between unbounded ortholattices with strict homomorphisms and polarity frames and d-morphisms. Apart from the abstract construction of dual algebras in the series of the present author’s publications, in this paper, we have investigated a concrete construction by means of product powerset posets.
منابع مشابه
Morphisms on Bi-approximation Semantics
In the present paper, we introduce bounded morphisms on bi-approximation semantics, show the so-called p-morphism lemma on bi-approximation semantics, and investigate the dual representation of the morphisms. In addition, we study three properties, namely B-embedding, B-separating and B-reflecting, to preserve validity of sequents on frames. These bounded morphisms do not look like embedding, s...
متن کاملProofs, Disproofs, and Their Duals
Bi-intuitionistic logic, also known as Heyting-Brouwer logic or subtractive logic, is extended in various ways by a strong negation connective used to express commitments arising from denials. These logics have been introduced and investigated in [48]. In the present paper, an inferentialist semantics in terms of proofs, disproofs, and their duals is developed. Whereas the Brouwer-Heyting-Kolmo...
متن کاملAn Interactive Prover for Bi-intuitionistic Logic
In this paper we present an interactive prover for deciding formulas in propositional bi-intuitionistic logic (BiInt). This tool is based on a recent connection-based characterization of bi-intuitionistic validity through bi-intuitionistic resource graphs (biRG). After giving the main concepts and principles we illustrate how to use this interactive proof or counter-model building assistant and...
متن کاملStone-Type Dualities for Separation Logics
Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because — in addition to elegant abstraction — they strengthen soundness and completeness to a categorical equivalence, yielding a framework through which both algebraic and topological methods can be brought to bear on a logic. We give a systematic treatment of Stone-type duality...
متن کاملSolving high-order partial differential equations in unbounded domains by means of double exponential second kind Chebyshev approximation
In this paper, a collocation method for solving high-order linear partial differential equations (PDEs) with variable coefficients under more general form of conditions is presented. This method is based on the approximation of the truncated double exponential second kind Chebyshev (ESC) series. The definition of the partial derivative is presented and derived as new operational matrices of der...
متن کامل